Home > Search Results: keywords:"LTL"
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 2 records found  Search took 0.00 seconds. 
Temporal Logics for a Man
 Žilka, Lukáš ; Letko, Zdeněk (referee) ; Smrčka, Aleš (advisor)
The work deals with the automated translation of a natural language to temporal logic. Existing research attempts are summarized and built upon. For specificating the temporal properties a subset of English is introduced. The main contribution of the work is the proposed algorithm of translation of a property in the given language to LTL temporal logic, based on processing of and finding patterns in grammatical dependencies of The Stanford English Parser. Future research directions are discussed at the end.
Detailed record
Temporal Logics for a Man
 Žilka, Lukáš ; Letko, Zdeněk (referee) ; Smrčka, Aleš (advisor)
The work deals with the automated translation of a natural language to temporal logic. Existing research attempts are summarized and built upon. For specificating the temporal properties a subset of English is introduced. The main contribution of the work is the proposed algorithm of translation of a property in the given language to LTL temporal logic, based on processing of and finding patterns in grammatical dependencies of The Stanford English Parser. Future research directions are discussed at the end.
Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English